معرفی منطق های آزاد

پایان نامه
چکیده

منطق آزاد به منطق غیر کلاسیکی اطلاق می شود که از برخی فرض های وجودی منطق کلاسیک صرف نظر می کند. منطق ‏آزاد به سه دسته ی مثبت‏، منفی و خنثی تقسیم می شود. در فصل اول این پایان نامه‏، منطق کلاسیک مرتبه اول و ویژگی های آن را بررسی می کنیم. در فصل دوم منطق آزاد ‏را معرفی نموده و کاربردی از آن ار‏ائه می دهیم. در فصل آخر برخی لم ها و قضایای مهم درمنطق مانند لم موضعی ‏، لم نمایش و قضایای صحت و تامیت را در منطق آزاد اثبات نموده و منطق آزاد و کلاسیک را مقایسه می نماییم.

منابع مشابه

معرفی منطق خطی

در این پایان نامه سعی شده است، ابتدا به معرفی منطق های کلاسیک، شهود گرایی و زیر ساخت بپردازیم و بعد ارتباط منطق خطی را با هر یک از این منطق ها بیان می کنیم. همچنین منطق خطی را با تفسیر کامل هر یک ازحروف ربط و اصول موضوعه آن بیان کرده ایم و در انتها معنا شناسی های این منطق را بررسی می کنیم و به توصیف هر یک از حروف ربط این منطق در هر یک از این معناشناسی ها می پردازیم. سپس ارتباط معناشناسی ها را ب...

عرفان منطقی یا منطق عرفانی؟ معرفی و نقد اجمالی کتاب عرفان و منطق

چکیده در این مقاله کتاب عرفان و منطق را که برآمده از مجموعۀ مقالات برتراند راسل است معرفی و به‌اجمال نقد می‌کنیم. پس از معرفی کلی اثر، به امتیازها و کاستی‌های آن در دو بُعد شکلی و محتوایی توجه و، از میان مقالات، بر مقالۀ «عرفان و منطق» تأکید می‌کنیم. راسل در این نوشته از زاویۀ طرح چهار مسئله به مَسلک عرفا می‌پردازد و آن را نقد می‌کند. این چهار مسئله عبارت‌اند از: 1. اذعان به دو تمایل متفاوت در ان...

متن کامل

عرفان منطقی یا منطق عرفانی؟ معرفی و نقد اجمالی کتاب عرفان و منطق

چکیده در این مقاله کتاب عرفان و منطق را که برآمده از مجموعۀ مقالات برتراند راسل است معرفی و به اجمال نقد می کنیم. پس از معرفی کلی اثر، به امتیازها و کاستی های آن در دو بُعد شکلی و محتوایی توجه و، از میان مقالات، بر مقالۀ «عرفان و منطق» تأکید می کنیم. راسل در این نوشته از زاویۀ طرح چهار مسئله به مَسلک عرفا می پردازد و آن را نقد می کند. این چهار مسئله عبارت اند از: 1. اذعان به دو تمایل متفاوت در ان...

متن کامل

تحلیل وجود محمولی در منطق آزاد

درحالی که به لحاظ شهودی و عرفی جمله ای مثل «رخش وجود ندارد» به وضوح صادق است اما طراحی سیستمی منطقی که بتواند با موضوع قرار دادن رخش و محمول قرار دادن وجود، این جمله را تحلیل کند، تبدیل به یکی از مسائل پیچیده ی منطقی و فلسفی گشته است. این پایان نامه در میان گستره ی نظریات پیرامون وجود محمولی، دامنه ی کاری خود را به تحلیل های سازگار با منطق آزاد محدود کرده است. ابتدا نظریه راسل در تحلیل وجود م...

15 صفحه اول

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه شهید باهنر کرمان - دانشکده ریاضی و کامپیوتر

کلمات کلیدی

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023